1. Formal methods for dynamical systems
پدیدآورنده : Marco Bernardo ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,System design, Congresses
رده :
QA76
.
9
.
F67
.
I58
2013
